c formula generated with seed 1, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 8, 9, 10, 13, 15, 16, 17, 18, 19, 22, 27, 28, 30, 31, 32, 33, 36, 38, 40, 41, 43, 46, 47, 49, 50, 55, 56, 57, 58, 61, 66, 71, 73, 78, 82, 84, 85, 89, 91, 94, 95, 96, 97, 98, 104, 109, 111, 112, 113, 115, 117, 124, 125, 127, 133, 134, 135, 137, 138, 139, 140, 141, 146, 147, 150, 151, 152, 153, 154, 155, 159, 162, 163, 166, 167, 169, 170, 171, 173, 175, 178, 179, 180, 181, 182, 184, 185, 186, 191, 192, 195, 196, 201, 202, 205, 207, 210, 211, 215, 216, 217, 218, 220, 222, 224, 225, 226, 227, 228, 233, 235, 238, 239, 242, 243, 244, 246, 247, 248, 249, 250, 251, 253, 254, 256, 258, 259, 260, 262, 263, 266, 268, 272, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 290, 291, 292, 294, 295, 297, 298, 299, 300, 303, 308, 311, 312, 313, 316, 317, 318, 322, 323, 324, 329, 330, 333, 334, 336, 337, 338, 347, 348, 349, 351, 354, 355, 356, 357, 358, 359, 360, 364, 366, 368, 369, 371, 372, 373, 377, 379, 381, 384, 386, 389, 391, 393, 398, 399, 402, 404, 409, 411, 416, 419, 423, 424, 426, 429, 430, 434, 435, 443, 444, 445, 447, 448, 453, 454, 455, 456, 457, 458, 461, 462, 463, 464, 469, 472, 473, 474, 476, 477, 484, 485, 487, 488, 490, 491, 492, 494, 495, 498, 507, 508, 509, 512, 516, 517, 518, 521, 523, 529, 530, 533, 534, 537, 538, 539, 540, 541, 545, 546, 547, 548, 550, 551, 552, 554, 555, 557, 559, 564, 565, 567, 568, 571, 572, 574, 575, 576, 577, 578, 582, 584, 587, 588, 590, 591, 593, 595, 596, 598, 600}
p cnf 600 2646
475 434 -488 0
-204 448 -158 0
-371 380 272 0
231 186 566 0
586 -30 -412 0
377 578 393 0
-71 -120 -150 0
130 172 140 0
500 550 -282 0
-333 -162 -327 0
523 71 338 0
-262 52 426 0
-464 -455 588 0
-155 256 -593 0
-109 451 -212 0
550 -225 -591 0
138 -162 353 0
-103 -486 -77 0
113 478 190 0
-121 -364 148 0
-298 154 -277 0
132 -10 173 0
-336 600 -547 0
550 -464 -150 0
-98 -163 216 0
144 388 444 0
-66 403 -230 0
86 -327 -464 0
156 -77 39 0
-141 166 380 0
-147 326 -110 0
366 372 567 0
133 307 200 0
-400 494 -319 0
63 581 49 0
-222 -541 -145 0
369 -40 467 0
403 322 -283 0
-271 -101 -97 0
-250 150 -228 0
336 -114 -232 0
325 -183 335 0
131 -107 -508 0
470 161 -110 0
-374 443 -480 0
-98 -547 233 0
-255 56 210 0
209 25 159 0
320 90 115 0
-575 -76 -175 0
569 -385 549 0
-197 274 390 0
-291 71 -555 0
595 549 11 0
-558 590 464 0
344 597 -315 0
-314 -23 -206 0
567 -74 -436 0
-223 313 -478 0
-216 -394 466 0
-402 132 -397 0
-385 -224 -233 0
279 -41 86 0
219 234 -597 0
-11 -257 -206 0
210 22 447 0
-369 -94 -120 0
-482 -238 -278 0
-395 445 125 0
454 561 -337 0
-284 358 390 0
106 -388 563 0
-372 -233 -132 0
570 437 568 0
539 -267 111 0
350 259 594 0
206 117 -185 0
-471 -417 -237 0
85 -241 -325 0
-523 514 -60 0
-279 -77 -554 0
-287 -178 89 0
-117 91 -462 0
-241 564 71 0
-388 -382 -174 0
-407 137 435 0
-23 549 479 0
149 -547 191 0
569 437 -500 0
219 397 202 0
483 542 256 0
-559 418 124 0
-261 399 6 0
-335 35 365 0
546 -54 -177 0
263 -521 -98 0
-334 291 314 0
-577 283 385 0
466 -401 264 0
-122 180 -114 0
-443 -550 283 0
126 306 -302 0
573 51 -252 0
-2 -599 -341 0
126 -531 -139 0
-445 -230 -538 0
-319 125 -142 0
159 264 -104 0
-86 -244 229 0
240 -472 -223 0
272 548 311 0
-83 298 -479 0
109 -99 -314 0
184 431 -201 0
524 -37 -473 0
-597 -99 -123 0
471 591 -389 0
-232 354 263 0
579 -541 453 0
157 485 142 0
576 -583 96 0
50 253 -422 0
49 -37 78 0
-582 483 -328 0
-268 289 -446 0
-65 111 -342 0
209 36 -317 0
-324 442 -410 0
10 439 -587 0
477 27 -193 0
-451 -228 -593 0
-567 -549 105 0
77 322 241 0
-477 173 440 0
-464 560 147 0
369 -575 45 0
-114 -72 377 0
-536 532 4 0
113 -37 216 0
581 -244 -103 0
-296 279 -392 0
-377 -520 361 0
-522 -588 -46 0
-360 -449 -295 0
495 -579 248 0
-440 207 282 0
155 -34 -168 0
72 -361 -211 0
108 -137 -44 0
22 -219 292 0
-463 481 -35 0
-597 -244 -419 0
310 567 276 0
-476 -337 169 0
-465 -233 -540 0
584 197 339 0
220 568 312 0
-583 -450 49 0
355 68 -243 0
-68 138 -321 0
560 -320 -529 0
-247 593 193 0
-284 -330 -599 0
-232 -192 -61 0
-330 389 -435 0
-121 460 11 0
-581 498 -148 0
-179 484 -537 0
-468 339 -263 0
505 488 367 0
-496 498 -479 0
55 577 -102 0
-423 3 -328 0
457 -412 -385 0
-145 210 41 0
-41 368 -525 0
-343 583 -95 0
131 292 597 0
409 517 356 0
-60 247 -2 0
-355 -543 -235 0
-111 -153 238 0
126 26 -315 0
581 -285 -350 0
90 282 -333 0
122 478 372 0
-421 -290 328 0
-185 -211 89 0
-8 -39 -95 0
211 -546 -474 0
-413 -132 -289 0
551 309 91 0
-516 -392 -89 0
378 -145 273 0
-82 -186 -375 0
476 181 63 0
-278 -231 129 0
141 -126 -304 0
502 -272 -335 0
306 -15 141 0
156 301 -306 0
501 -242 -527 0
-589 149 60 0
110 -307 599 0
-421 -204 -193 0
2 -174 271 0
174 216 99 0
565 -298 582 0
-261 -425 -197 0
-133 -559 -45 0
49 411 -54 0
-18 -312 266 0
216 448 -579 0
256 -474 -521 0
525 -341 -487 0
-279 494 -96 0
351 -59 27 0
-233 149 -79 0
-474 -597 -494 0
-413 499 -113 0
-354 -551 -481 0
-375 451 183 0
-333 -65 -89 0
425 -254 -88 0
-67 528 450 0
-526 493 -191 0
423 -221 512 0
-417 514 -154 0
-510 -206 96 0
428 20 492 0
-20 -103 -362 0
-90 411 216 0
590 -316 380 0
472 185 -232 0
-206 193 4 0
-18 -591 453 0
449 -560 -312 0
-235 192 301 0
567 -466 -200 0
31 -496 10 0
548 -377 378 0
-366 260 -78 0
467 -201 577 0
304 -359 -483 0
-478 -325 -459 0
87 550 543 0
475 -599 -135 0
63 -392 306 0
-119 -323 -286 0
315 -587 512 0
-6 148 288 0
590 291 -273 0
-565 423 433 0
-112 -435 -4 0
-337 -149 -214 0
289 -151 -496 0
-194 -507 129 0
278 -189 169 0
197 315 -592 0
375 539 450 0
485 -349 86 0
399 311 -212 0
267 -532 -133 0
-323 -485 316 0
96 194 -290 0
464 349 211 0
246 -363 402 0
11 60 559 0
-276 498 596 0
137 211 -65 0
444 112 -331 0
-396 251 364 0
-7 589 -253 0
-87 108 362 0
-461 -43 185 0
-60 217 207 0
-430 -22 539 0
-366 -97 -99 0
358 54 -258 0
469 -492 394 0
144 -192 -209 0
-556 567 -566 0
319 -192 455 0
425 495 -574 0
-29 -83 358 0
-391 48 -405 0
-311 -336 -130 0
-583 399 -562 0
358 526 -280 0
-167 -455 356 0
-390 386 364 0
502 -343 -462 0
503 175 -137 0
-589 -294 350 0
261 310 456 0
194 -62 379 0
-76 182 -440 0
-402 -593 357 0
284 534 -418 0
-57 -583 -47 0
-418 559 246 0
148 253 -33 0
33 62 504 0
111 -410 272 0
34 -329 -214 0
-189 -518 -457 0
-255 -216 -596 0
215 -234 -427 0
552 537 -80 0
426 -559 121 0
-209 429 -107 0
537 128 -423 0
373 -40 -294 0
-452 267 475 0
-491 199 -380 0
-346 -289 356 0
184 10 -342 0
453 -21 -11 0
-89 -393 -209 0
-536 -514 -25 0
89 559 292 0
389 -94 401 0
-219 568 115 0
399 -418 -535 0
-564 84 106 0
287 -375 530 0
576 -20 -400 0
-263 -139 -274 0
420 61 -351 0
-560 596 98 0
-250 274 -396 0
-278 495 161 0
-418 -288 -408 0
-513 22 -503 0
-321 -315 1 0
-513 320 -226 0
334 478 -196 0
-419 -518 -407 0
410 -524 -421 0
282 477 -111 0
-451 -474 456 0
313 -121 409 0
23 -479 -598 0
-191 -585 412 0
-193 243 -489 0
401 572 580 0
-347 -41 430 0
202 343 32 0
-457 600 472 0
308 133 516 0
448 -331 -405 0
-364 5 244 0
128 376 -177 0
-184 192 -568 0
-411 -7 -303 0
-402 -136 223 0
205 -224 390 0
225 -285 -150 0
-479 456 -194 0
-485 -150 16 0
35 497 453 0
-167 578 342 0
-393 10 497 0
-119 507 -219 0
535 -145 -393 0
-444 -411 -304 0
178 -136 -198 0
281 557 -583 0
-575 355 245 0
-60 481 569 0
-124 14 -261 0
-429 258 396 0
244 -307 22 0
481 -272 -59 0
538 -355 -537 0
421 -298 -428 0
186 -26 -51 0
-292 -513 543 0
-561 555 -302 0
-154 -140 -553 0
-31 388 215 0
460 -116 -287 0
587 -464 -275 0
594 57 116 0
14 -374 460 0
-142 453 322 0
-60 159 356 0
196 -144 -589 0
-12 487 -37 0
415 172 -130 0
-467 367 -426 0
-329 -272 -223 0
194 -388 525 0
347 244 288 0
560 -206 -429 0
157 -289 326 0
146 -395 -197 0
516 112 -440 0
595 -252 473 0
299 268 -53 0
-505 376 -426 0
-265 283 155 0
274 589 226 0
-298 121 -252 0
-233 40 -135 0
-457 -391 -331 0
27 -176 444 0
245 -248 -395 0
75 -201 -481 0
202 -220 510 0
238 53 172 0
-538 -203 -66 0
535 -309 532 0
167 -196 519 0
548 578 -252 0
-522 529 -90 0
-553 401 -373 0
-393 554 -162 0
-300 314 -535 0
-383 239 -481 0
365 483 277 0
-198 -453 394 0
-315 316 -116 0
382 526 -174 0
24 571 -488 0
-241 186 -390 0
-392 -111 439 0
-265 4 442 0
387 -373 -536 0
-242 393 -484 0
-305 -321 138 0
396 -95 -502 0
59 107 58 0
-102 552 243 0
-147 -454 -515 0
256 -126 50 0
-420 -404 65 0
-139 -471 527 0
-88 47 85 0
192 253 1 0
462 226 391 0
-134 466 -513 0
580 44 27 0
511 -333 140 0
56 266 372 0
155 -491 592 0
-63 -424 -464 0
-364 132 -440 0
146 -127 392 0
-393 420 598 0
-517 -375 -368 0
345 18 370 0
213 456 -338 0
-134 -339 -316 0
316 -172 -452 0
-450 228 210 0
115 -493 243 0
370 522 -350 0
-230 -590 270 0
-46 586 -108 0
285 -203 -234 0
242 533 316 0
13 -320 398 0
-218 435 -140 0
-238 -120 -469 0
-184 252 186 0
-186 -264 -313 0
268 -284 562 0
-180 115 543 0
468 36 -82 0
-403 -177 476 0
-160 253 355 0
-78 177 178 0
366 426 -53 0
-478 -417 416 0
360 -159 481 0
124 -357 107 0
-155 44 -513 0
-101 20 451 0
-22 -84 -482 0
116 71 -28 0
591 554 184 0
422 -505 289 0
-231 37 -104 0
313 -137 597 0
-594 -310 381 0
555 475 -27 0
490 27 455 0
354 -411 431 0
266 105 -163 0
-384 483 -361 0
-336 544 377 0
-433 -505 -363 0
-483 -129 -145 0
-178 -80 101 0
81 -226 -332 0
133 419 -515 0
-537 105 262 0
-285 -308 -432 0
153 87 -17 0
532 491 -330 0
31 -303 -294 0
-460 -350 -79 0
383 -226 -5 0
-542 117 201 0
-382 -503 -164 0
-357 566 272 0
7 -140 98 0
-475 -507 264 0
-402 -279 -542 0
344 -164 407 0
-483 -236 117 0
215 -520 -204 0
-210 375 -506 0
-76 -268 -250 0
334 -313 430 0
54 247 -325 0
589 93 -148 0
60 -509 -305 0
-331 -237 244 0
-402 186 241 0
60 300 7 0
166 157 -386 0
453 -320 -511 0
-146 -172 -550 0
373 -292 86 0
385 353 -510 0
-194 -546 403 0
61 76 -389 0
-39 91 -328 0
241 187 -367 0
272 313 -157 0
-252 -146 522 0
-482 433 -434 0
391 -354 -154 0
366 -9 -600 0
215 261 -171 0
-136 -282 255 0
-309 -103 -269 0
494 268 474 0
-588 -106 -82 0
-368 -563 296 0
-398 182 505 0
417 522 523 0
-73 -552 -34 0
-228 489 -100 0
-323 313 -28 0
-172 -453 118 0
-337 339 -412 0
-284 95 483 0
358 -380 -526 0
272 -427 -23 0
485 46 259 0
249 -452 -583 0
170 -401 355 0
-199 -421 538 0
530 -61 -178 0
-112 435 -147 0
-476 469 -455 0
83 -337 -524 0
-537 391 306 0
-306 461 -500 0
-545 447 265 0
293 -185 -92 0
444 -297 118 0
350 84 -162 0
-132 -220 90 0
-210 -120 307 0
147 -553 41 0
104 -437 -54 0
-269 514 -169 0
-259 70 -90 0
-301 246 -330 0
-447 381 75 0
-17 -577 333 0
-56 528 -296 0
116 383 300 0
-69 108 -564 0
151 -145 329 0
487 564 -107 0
535 447 -567 0
-590 401 -594 0
-233 473 143 0
498 -471 458 0
-491 -447 557 0
575 -87 153 0
170 -350 559 0
-302 -112 -377 0
562 -62 76 0
51 87 -326 0
-193 155 179 0
-529 204 -255 0
-9 126 211 0
-458 411 325 0
-504 90 212 0
-502 46 368 0
218 -57 339 0
-107 153 -528 0
-191 81 368 0
570 142 600 0
-190 -120 -407 0
173 -160 294 0
185 380 -17 0
-417 372 -177 0
277 -102 -553 0
-583 390 -167 0
370 151 471 0
549 318 -279 0
-301 -191 -154 0
-179 293 -245 0
539 169 -48 0
-96 383 477 0
-113 299 -251 0
367 -146 -204 0
324 -257 -502 0
364 -217 -227 0
-33 310 196 0
-63 167 -5 0
-267 -52 222 0
-304 -41 482 0
91 230 388 0
-476 465 -475 0
143 -26 -389 0
208 -392 267 0
273 559 513 0
-522 -12 545 0
394 -447 -42 0
34 462 190 0
-129 -133 81 0
565 188 174 0
-367 300 1 0
487 -347 -472 0
564 388 -469 0
168 205 -290 0
140 -371 -577 0
530 210 598 0
-521 -336 347 0
141 257 -50 0
-78 -123 72 0
576 -276 316 0
148 -308 291 0
-279 -252 -246 0
401 -250 -531 0
-583 372 9 0
6 157 -48 0
-245 -110 195 0
161 396 127 0
-492 69 -497 0
-298 116 -65 0
-528 -531 -407 0
91 454 -122 0
-33 -24 385 0
574 171 -403 0
381 -579 -275 0
553 -120 365 0
-325 498 516 0
568 -348 145 0
51 153 -57 0
259 -201 -308 0
-164 -32 344 0
531 -233 521 0
-246 417 36 0
-472 -376 289 0
-347 -87 328 0
-340 -559 -490 0
18 342 283 0
-249 132 498 0
-10 331 -130 0
41 -511 115 0
-506 -185 149 0
-359 561 534 0
237 143 211 0
109 -584 -167 0
163 547 238 0
560 499 -64 0
230 523 190 0
453 267 -521 0
57 -13 400 0
276 -89 -143 0
559 -452 -412 0
366 -560 -128 0
393 516 33 0
551 559 -275 0
-7 -550 -195 0
-47 71 228 0
-560 -465 182 0
-174 -219 456 0
12 380 330 0
456 -543 434 0
108 -138 529 0
75 381 -248 0
388 -55 41 0
216 111 256 0
-52 -100 -238 0
433 -352 87 0
127 -35 -363 0
-344 114 238 0
-238 -585 -195 0
-343 249 -397 0
-591 -561 -316 0
-388 -368 -115 0
-390 -394 146 0
-226 253 403 0
-83 -51 564 0
-26 -167 -9 0
-200 27 430 0
312 -511 61 0
-376 -114 -100 0
-316 -141 360 0
-453 -547 -288 0
139 584 -61 0
-283 360 504 0
146 -112 -334 0
-314 -128 -484 0
-380 -165 299 0
340 -310 -84 0
-135 -315 396 0
-393 -459 489 0
478 57 -227 0
364 457 -328 0
67 -205 17 0
109 19 -599 0
-212 -15 -191 0
-295 -332 306 0
298 -293 -525 0
464 568 -161 0
378 109 -153 0
-122 -266 -459 0
-289 -302 -442 0
283 327 500 0
594 -176 -298 0
-317 -60 -111 0
-483 -129 82 0
114 101 228 0
563 238 -494 0
356 -594 -130 0
205 491 -513 0
-506 256 -42 0
-490 -555 27 0
130 -151 -261 0
-598 455 519 0
323 -588 573 0
-331 48 102 0
120 -559 567 0
521 -504 -143 0
-520 330 -314 0
61 118 -287 0
-265 90 -300 0
-468 -318 -355 0
260 39 -246 0
244 445 -599 0
-510 -302 538 0
-344 -365 500 0
-146 291 -498 0
-594 -65 -497 0
367 -413 283 0
-569 -9 11 0
-55 532 -513 0
543 589 -475 0
-54 328 -552 0
344 408 -428 0
-236 223 332 0
-363 -519 -482 0
-467 533 -428 0
-17 -243 -467 0
43 496 -32 0
-578 205 310 0
6 338 -49 0
256 -143 -552 0
419 103 -115 0
313 566 353 0
31 187 -140 0
378 -402 -365 0
215 345 -453 0
42 -319 -95 0
-93 -290 -453 0
-52 47 -431 0
-42 -245 557 0
-225 -38 -500 0
165 335 -499 0
-190 -213 -440 0
521 -397 338 0
-169 -123 504 0
-172 -315 15 0
-489 72 -50 0
-494 98 -371 0
-489 339 136 0
-145 249 -390 0
-288 111 182 0
-9 515 -478 0
429 104 -200 0
281 -379 23 0
508 -284 586 0
-294 246 -381 0
471 -52 -247 0
15 -255 -380 0
470 -268 -79 0
-322 323 270 0
122 113 -173 0
462 284 -85 0
-527 -538 -393 0
-361 489 -424 0
-529 -12 494 0
-162 -386 195 0
231 -63 -16 0
88 -245 62 0
535 317 525 0
354 446 -216 0
237 102 -116 0
-224 -53 148 0
-232 -358 -430 0
70 -482 319 0
-319 -172 178 0
-560 -480 587 0
-511 167 -374 0
283 -218 -373 0
311 -127 -192 0
-408 225 -327 0
103 22 388 0
367 80 593 0
495 -217 106 0
494 -535 -479 0
-98 -498 -526 0
-394 -522 392 0
565 335 482 0
-232 -195 86 0
101 -352 -368 0
-306 564 175 0
-253 -421 -381 0
502 -456 550 0
-516 -246 -161 0
304 276 -197 0
18 215 -556 0
535 -582 -236 0
229 74 -421 0
570 361 -526 0
-438 564 -556 0
-541 -177 107 0
-489 39 346 0
47 -598 -17 0
-590 -130 -379 0
137 408 542 0
-138 139 -247 0
-591 420 469 0
-369 192 82 0
147 186 61 0
249 173 402 0
479 101 355 0
-15 329 -61 0
36 483 156 0
-122 -310 -76 0
-523 -201 546 0
-232 -271 8 0
-517 458 270 0
210 502 -146 0
-36 -522 -379 0
9 -164 91 0
113 -31 -513 0
327 196 -354 0
-524 -344 -396 0
-567 455 438 0
331 -426 163 0
-446 68 -138 0
435 -220 25 0
410 -31 -561 0
508 -500 170 0
389 357 -301 0
206 562 278 0
395 69 9 0
-450 92 -234 0
249 -59 427 0
284 129 -576 0
563 -175 -86 0
-123 462 111 0
-393 292 39 0
86 478 454 0
94 -86 -594 0
-348 497 283 0
357 -150 -30 0
-572 461 -154 0
21 -486 63 0
-445 -591 -198 0
-460 196 279 0
-465 -296 -34 0
194 547 -445 0
20 -441 -71 0
-296 92 465 0
-313 -463 84 0
316 215 283 0
560 109 514 0
16 -59 300 0
340 306 -468 0
182 -587 586 0
-383 76 123 0
-151 20 359 0
-553 -445 -210 0
-98 140 63 0
491 -505 125 0
-20 496 -45 0
266 -472 76 0
-217 -342 326 0
-15 -484 291 0
-19 126 -500 0
235 508 -335 0
174 542 -504 0
288 -22 -24 0
271 50 -258 0
-551 -295 -345 0
178 249 -144 0
498 413 45 0
67 73 558 0
336 122 -574 0
-107 280 134 0
-209 -335 580 0
-528 227 19 0
-119 285 166 0
525 -209 236 0
-41 430 480 0
282 357 201 0
255 354 -235 0
-428 -108 286 0
395 280 -572 0
-242 472 -13 0
-165 71 -168 0
-83 97 -585 0
-364 599 349 0
101 74 -414 0
-228 396 -194 0
564 426 552 0
273 223 -275 0
500 -51 -384 0
572 439 -358 0
-185 -266 249 0
33 186 -395 0
-583 -473 -284 0
594 -219 421 0
-304 -398 -312 0
96 283 287 0
-18 322 -286 0
-219 -8 -203 0
-439 28 49 0
173 221 -243 0
123 227 367 0
-63 242 -344 0
-399 -544 -28 0
-519 -294 -516 0
-523 289 366 0
113 296 -409 0
163 -504 507 0
598 -234 58 0
314 34 317 0
-134 118 -234 0
-350 -105 226 0
-324 83 -198 0
-177 -13 440 0
-419 -199 500 0
-343 -31 -178 0
-342 -559 522 0
283 -438 399 0
351 -572 -292 0
223 179 -492 0
-402 90 32 0
379 -17 -313 0
38 -589 -205 0
263 -483 -515 0
157 311 -33 0
298 478 74 0
-527 -451 -471 0
-34 -227 105 0
63 362 571 0
-524 -472 54 0
376 -70 -191 0
390 -571 -99 0
-504 -199 -579 0
-490 -491 10 0
-383 48 413 0
65 -493 282 0
-430 -505 -28 0
290 -35 -556 0
3 266 -224 0
347 504 592 0
578 317 162 0
47 347 507 0
133 -59 220 0
-106 485 498 0
-228 188 163 0
462 359 -86 0
527 256 130 0
-500 -264 550 0
-115 -20 -484 0
568 436 -364 0
27 268 -499 0
-141 393 -457 0
-359 -140 584 0
-12 50 -275 0
482 414 -504 0
61 204 -512 0
279 -475 -341 0
65 -43 111 0
-143 8 -470 0
101 -449 -369 0
169 -241 -21 0
-550 -213 525 0
-524 85 -325 0
372 1 -129 0
30 572 366 0
239 144 65 0
413 185 -429 0
-498 99 -427 0
284 544 -150 0
541 -502 -478 0
72 121 -415 0
-223 -375 491 0
26 468 -194 0
-391 7 19 0
105 -225 268 0
-455 -205 133 0
-341 30 -231 0
-45 151 -101 0
-473 148 109 0
440 76 334 0
-113 -368 215 0
471 576 -303 0
-290 -177 -539 0
92 -90 48 0
567 -558 -510 0
516 137 215 0
162 231 -456 0
-20 365 -211 0
398 -164 448 0
493 305 -118 0
-442 -297 344 0
-495 -68 -258 0
588 415 204 0
-517 12 84 0
547 -154 21 0
-261 203 -40 0
164 336 401 0
-388 36 94 0
-381 -122 306 0
-365 583 -166 0
-551 549 -481 0
240 496 112 0
-223 -42 -293 0
-322 373 95 0
216 169 10 0
328 -382 437 0
116 -145 261 0
230 482 334 0
-590 -504 -518 0
-178 521 376 0
-21 134 359 0
-500 114 -389 0
-263 538 -458 0
-56 460 575 0
104 -470 -156 0
371 532 433 0
69 -187 125 0
-320 414 116 0
-444 310 -340 0
530 382 361 0
529 463 -301 0
-562 -362 -543 0
311 32 371 0
266 425 37 0
310 474 93 0
-184 416 382 0
121 365 491 0
-412 -560 -542 0
346 204 -549 0
443 -191 -399 0
338 443 -42 0
204 -230 92 0
172 40 -206 0
303 -373 579 0
-360 -561 -522 0
-531 -341 -342 0
85 102 -94 0
341 36 -239 0
-110 525 70 0
-240 -425 308 0
304 367 -420 0
-380 -356 -85 0
-473 457 -243 0
-249 453 -541 0
250 -599 -580 0
-490 213 -221 0
309 -394 130 0
487 -465 169 0
198 275 -264 0
313 -18 -43 0
294 442 -389 0
-32 44 -486 0
430 340 505 0
453 401 -473 0
334 325 569 0
274 442 56 0
444 -256 -464 0
182 458 407 0
397 -205 -4 0
197 -512 -401 0
59 -10 243 0
-419 -502 21 0
-197 465 -208 0
215 113 -14 0
-534 -166 -26 0
398 419 -403 0
-274 142 -278 0
584 -264 -193 0
-352 213 -398 0
-57 564 -186 0
395 -382 177 0
-216 -195 153 0
592 -189 -337 0
-188 -45 -274 0
-176 -449 -208 0
263 325 335 0
512 473 369 0
-462 570 -493 0
-263 -124 10 0
-515 265 -423 0
-213 -428 -24 0
-31 220 527 0
50 -391 450 0
-43 333 328 0
-594 113 247 0
-382 194 495 0
-269 -427 -408 0
584 -289 78 0
568 -150 168 0
-446 454 18 0
472 43 46 0
-324 -556 -448 0
13 372 -405 0
-192 90 -288 0
307 -302 352 0
-356 -152 -156 0
-167 70 -168 0
-376 -593 296 0
-534 -19 372 0
-546 -145 -298 0
-345 -339 -387 0
146 277 283 0
397 -49 97 0
-238 -260 30 0
-158 -296 -306 0
96 -385 -408 0
145 -143 -178 0
-243 420 125 0
-74 -281 -574 0
282 77 -215 0
36 -565 187 0
-124 331 456 0
-237 247 574 0
165 484 55 0
-154 263 -564 0
-263 -436 428 0
258 -537 161 0
-206 467 511 0
8 184 -310 0
122 -343 -243 0
145 -352 -494 0
-264 597 -381 0
-419 465 389 0
-566 -492 157 0
526 -102 -207 0
138 513 -473 0
-104 -420 190 0
560 -385 -259 0
441 -289 -561 0
-285 158 -293 0
210 207 -172 0
262 -244 145 0
-70 -113 -227 0
-326 -93 -543 0
257 -183 199 0
-10 -522 -3 0
-361 111 487 0
-531 315 -195 0
-358 113 367 0
138 -35 222 0
93 25 518 0
-184 -570 326 0
-283 277 148 0
386 -376 192 0
-21 -569 58 0
-206 475 -564 0
-281 167 -297 0
-387 -80 -158 0
-213 70 -584 0
-385 167 -11 0
-511 166 -340 0
-252 -170 502 0
-290 -516 -142 0
227 -381 412 0
431 574 -27 0
360 296 -404 0
101 -524 -470 0
-181 194 -520 0
225 -459 -345 0
-400 -9 101 0
70 237 389 0
565 431 -170 0
533 327 383 0
528 -289 237 0
-529 153 177 0
-546 474 105 0
369 423 -346 0
-53 -128 -525 0
78 407 -154 0
339 -452 -474 0
389 -455 -345 0
467 353 -223 0
418 -596 111 0
326 545 348 0
-258 560 238 0
-105 -247 -228 0
-484 59 491 0
-397 404 -524 0
323 210 389 0
160 -159 -144 0
-15 -463 -240 0
344 -388 106 0
342 265 -344 0
-194 373 -206 0
280 171 -129 0
135 -129 13 0
-134 -253 -255 0
-375 -26 84 0
12 70 -325 0
-411 -378 303 0
-360 -426 -437 0
454 538 -305 0
-407 -11 -437 0
177 -240 203 0
-477 -98 266 0
478 -214 -178 0
-381 -514 -138 0
-559 63 -158 0
-379 442 324 0
-589 101 -306 0
96 454 -585 0
-245 506 -153 0
235 584 -352 0
-417 -241 128 0
400 -571 -275 0
49 -209 577 0
391 -528 323 0
-223 -458 -186 0
-265 98 184 0
276 393 152 0
-16 -522 446 0
-115 377 276 0
14 74 -437 0
309 -227 -126 0
-255 -113 422 0
246 154 -126 0
-159 291 -564 0
-131 516 404 0
107 -560 271 0
176 536 73 0
-305 515 212 0
-28 -383 103 0
-237 389 -401 0
-376 -272 470 0
-579 -587 -509 0
6 -17 137 0
53 -550 153 0
-196 115 265 0
95 387 -582 0
69 -413 -539 0
66 -596 -472 0
135 -86 419 0
310 173 380 0
10 -333 45 0
-573 252 -137 0
158 251 120 0
392 -349 282 0
186 149 511 0
586 -26 37 0
257 381 479 0
273 70 -363 0
447 135 -544 0
-217 315 290 0
178 20 51 0
-459 287 -208 0
153 183 -202 0
-389 -368 -208 0
22 -299 114 0
109 507 278 0
-309 -569 181 0
107 -430 137 0
303 -331 444 0
-259 595 544 0
237 -525 441 0
283 304 428 0
-98 -142 -507 0
296 -576 -326 0
-523 -198 -559 0
562 -447 -460 0
-526 -549 226 0
527 -104 -562 0
8 -206 -79 0
463 538 -599 0
-96 437 402 0
111 -522 -470 0
332 233 -334 0
29 102 40 0
551 292 383 0
105 183 -148 0
518 547 -105 0
-148 545 -63 0
58 539 101 0
-484 564 328 0
593 476 -39 0
-439 440 594 0
555 159 175 0
-85 -576 -344 0
10 -450 -436 0
61 84 -107 0
437 113 37 0
-408 -156 -288 0
480 -158 376 0
-442 532 126 0
567 371 -253 0
460 467 163 0
445 -421 -165 0
-216 131 -326 0
356 -274 -314 0
-58 -230 504 0
22 -469 54 0
-377 421 -467 0
-22 -2 -167 0
-336 -449 9 0
-128 -274 31 0
298 -336 410 0
397 425 -103 0
582 294 117 0
96 541 -412 0
87 436 -449 0
-527 -392 525 0
259 -415 179 0
-208 -189 -437 0
-292 79 233 0
280 196 -35 0
426 485 140 0
534 -600 380 0
-223 -479 50 0
58 -473 77 0
-86 -525 -526 0
49 171 578 0
94 -55 304 0
-431 -184 -379 0
596 -420 -553 0
385 -67 502 0
248 71 -136 0
-599 -306 -198 0
465 369 561 0
377 -244 234 0
-599 198 475 0
-549 -480 150 0
-234 -293 386 0
-467 -76 -64 0
-405 496 542 0
-408 72 471 0
588 -380 -405 0
-509 -289 466 0
-176 -64 -255 0
351 534 98 0
200 -477 564 0
162 -47 560 0
-163 242 219 0
-529 -567 -497 0
193 558 -197 0
-524 -236 -289 0
-477 574 -66 0
-13 -239 49 0
460 -526 -216 0
184 213 -46 0
-445 217 -9 0
487 -586 588 0
-144 -257 444 0
-163 429 412 0
-82 -177 -453 0
-273 -169 -284 0
-494 -560 -139 0
-479 -487 281 0
24 328 -42 0
-173 496 329 0
521 -486 -493 0
372 374 -550 0
-354 -596 565 0
-412 185 -536 0
419 -168 -452 0
67 569 303 0
-191 301 -204 0
471 299 400 0
577 429 -475 0
-124 268 -537 0
279 146 104 0
245 376 253 0
40 -560 -5 0
-100 -537 331 0
-7 -433 163 0
599 -456 523 0
-394 486 -27 0
185 278 287 0
405 -202 13 0
222 211 -438 0
551 214 385 0
-546 -159 182 0
1 -439 15 0
438 566 539 0
214 298 256 0
-443 -253 260 0
-96 -462 596 0
-469 579 -164 0
-436 367 385 0
-243 -175 334 0
577 -508 -154 0
82 115 -566 0
-575 -41 -525 0
22 -421 -76 0
374 289 -145 0
-562 -139 -492 0
-92 -50 45 0
514 36 -588 0
-356 -146 283 0
-88 -455 -469 0
256 -505 185 0
-16 266 48 0
-333 208 -471 0
-517 -195 547 0
172 243 -8 0
410 50 194 0
-1 121 -23 0
94 -423 -224 0
-272 -399 19 0
462 347 -241 0
-180 -122 39 0
444 87 497 0
159 -593 -355 0
-446 -173 402 0
-549 -473 -73 0
-139 -12 446 0
522 -142 405 0
50 -199 238 0
-197 95 -126 0
275 569 311 0
521 301 -356 0
583 123 381 0
-332 257 414 0
194 -480 -419 0
-370 14 118 0
-489 198 504 0
-231 592 -246 0
138 200 -131 0
280 -398 -324 0
318 -372 -596 0
-467 507 -493 0
-87 -530 362 0
-241 -116 -406 0
429 309 -484 0
-120 -301 323 0
367 425 -417 0
315 -600 191 0
-406 40 -502 0
-195 -562 87 0
179 496 -216 0
225 -323 560 0
285 -451 -288 0
322 50 244 0
-10 593 -228 0
-564 -228 163 0
120 233 420 0
583 170 -152 0
-269 153 -90 0
400 -185 391 0
317 -3 373 0
-588 -426 349 0
-170 15 475 0
-551 -222 89 0
335 396 -156 0
-343 -532 454 0
-292 -52 25 0
-54 -191 25 0
253 558 267 0
-475 202 154 0
-558 298 -72 0
443 -516 -488 0
-373 178 4 0
159 310 -472 0
-101 576 -367 0
247 -455 -381 0
-139 -333 55 0
458 350 201 0
458 -353 -397 0
50 -164 -143 0
-392 -502 -413 0
53 -218 -206 0
-398 453 -429 0
339 2 147 0
214 -456 -80 0
-423 -225 565 0
-335 415 -347 0
416 -564 -147 0
-464 496 184 0
93 -217 -482 0
-246 -166 -188 0
-434 -225 551 0
-137 -269 -517 0
-507 339 -440 0
58 -47 417 0
286 -391 -379 0
530 171 504 0
479 543 299 0
-257 -293 285 0
303 36 147 0
569 156 373 0
-33 260 -457 0
393 106 368 0
430 353 245 0
-569 -577 -351 0
485 -28 -248 0
99 -521 523 0
-501 41 -200 0
-29 -451 -471 0
399 -142 -52 0
362 -532 418 0
-420 -503 358 0
-518 76 -560 0
469 -142 559 0
-416 183 -93 0
-261 58 453 0
284 -397 -48 0
-204 400 90 0
478 343 -506 0
-362 -46 -205 0
71 280 -86 0
126 1 442 0
-579 -131 -342 0
59 -42 53 0
381 8 82 0
327 -351 -288 0
155 457 277 0
350 523 62 0
-218 366 -19 0
-185 416 -358 0
198 409 -358 0
-117 277 145 0
-427 113 -418 0
203 -64 382 0
-441 421 189 0
568 -168 -592 0
-287 441 284 0
-565 -309 331 0
-27 -233 -480 0
238 371 -514 0
205 -24 96 0
532 506 578 0
-60 -408 -236 0
-270 515 99 0
-384 236 -425 0
381 -301 -350 0
-200 295 -526 0
-39 -208 -204 0
439 20 -103 0
588 -503 -221 0
382 -23 480 0
-226 -19 -54 0
497 -80 -235 0
-558 -257 237 0
271 -386 56 0
-106 178 362 0
470 92 -69 0
286 312 112 0
383 -342 520 0
-210 249 408 0
331 367 38 0
-451 4 525 0
-356 -241 -47 0
-70 -211 -298 0
95 362 74 0
-174 -529 -137 0
-597 116 227 0
215 -167 -533 0
44 222 -150 0
398 -515 -245 0
451 -3 -260 0
-13 485 87 0
-315 7 -23 0
-405 46 61 0
-218 180 237 0
-482 -344 -63 0
-286 122 17 0
162 -330 431 0
508 57 185 0
-75 356 -105 0
16 419 138 0
41 -72 576 0
387 -479 -286 0
81 -383 400 0
-353 336 89 0
364 -235 264 0
214 340 295 0
-446 -593 -235 0
114 -573 128 0
300 251 56 0
582 290 -461 0
-392 -403 -410 0
251 590 -493 0
134 153 163 0
459 -80 -50 0
-206 -459 541 0
260 178 -480 0
-524 -334 579 0
365 -345 513 0
579 -89 -524 0
181 -568 441 0
140 -123 409 0
-142 171 57 0
-213 119 327 0
-581 166 -388 0
-43 -572 491 0
-130 -210 580 0
-28 168 282 0
-587 299 -479 0
569 132 -524 0
30 456 50 0
-414 -115 -217 0
-64 -213 201 0
-540 225 -507 0
-439 -425 117 0
-600 401 -90 0
-333 -387 79 0
-405 291 85 0
-144 231 -175 0
437 147 219 0
-528 529 -11 0
-252 -29 537 0
158 542 -296 0
304 -179 251 0
594 457 410 0
-120 -414 71 0
404 -73 414 0
-197 -329 252 0
528 -450 331 0
162 147 295 0
-508 478 555 0
-523 -426 -103 0
205 101 409 0
-290 173 158 0
-465 -593 531 0
-286 351 528 0
496 304 -519 0
590 -54 417 0
-103 599 -15 0
317 -586 -320 0
502 -473 -87 0
-532 566 -336 0
46 -64 -278 0
280 330 -383 0
-578 -95 541 0
-414 -265 -417 0
-213 -459 -35 0
-468 416 -531 0
383 -262 -269 0
-260 -340 440 0
596 296 103 0
-23 337 -489 0
-545 219 -583 0
4 338 198 0
215 -374 411 0
174 131 -346 0
-212 -218 -595 0
-483 -138 335 0
-572 -91 291 0
-477 35 -161 0
38 -423 502 0
-361 353 306 0
-567 311 394 0
147 124 19 0
-419 -531 -195 0
96 -542 -68 0
279 -131 336 0
521 -548 -146 0
342 -408 -61 0
-92 165 -525 0
181 -184 363 0
139 -66 206 0
133 75 229 0
521 527 -540 0
-214 507 -353 0
409 311 -142 0
365 407 49 0
-419 -379 545 0
-64 298 -236 0
69 -54 257 0
-340 535 131 0
-62 -211 -578 0
46 -505 218 0
326 520 -427 0
-211 32 522 0
-600 -112 -418 0
19 -452 -193 0
73 -117 489 0
-209 437 500 0
-422 -402 213 0
-547 -18 40 0
-485 -381 49 0
393 230 -135 0
-432 -165 -594 0
-467 -252 492 0
-247 -331 189 0
-597 565 -568 0
231 168 -74 0
-308 56 25 0
-148 455 360 0
477 -52 462 0
410 -212 535 0
70 198 -118 0
365 379 190 0
85 123 -322 0
-587 -41 -269 0
232 407 -229 0
-451 -96 -284 0
525 -557 530 0
-250 -149 -152 0
-394 231 -61 0
413 -165 -198 0
357 -118 260 0
-251 516 -538 0
589 -326 5 0
-497 80 514 0
170 100 -146 0
-551 468 540 0
-184 -95 -522 0
-355 -597 22 0
-177 81 -557 0
-383 -124 553 0
328 -279 -306 0
-129 -568 -518 0
257 526 368 0
-259 -23 204 0
78 163 -59 0
-515 191 -431 0
354 -304 13 0
-294 -241 86 0
-593 184 234 0
279 -314 -200 0
430 -123 -34 0
469 578 -553 0
159 172 395 0
-393 -277 -449 0
345 -201 -331 0
-370 463 -63 0
-167 -410 471 0
458 151 -597 0
-469 287 -3 0
594 -600 -245 0
-323 -411 -3 0
485 -339 178 0
109 371 250 0
404 317 -432 0
323 17 595 0
69 -274 136 0
95 144 475 0
-560 282 334 0
-402 426 -85 0
-298 -248 565 0
-420 152 155 0
164 34 -586 0
-401 -316 184 0
430 -115 -298 0
-167 190 323 0
-190 -275 278 0
-126 275 -291 0
22 545 354 0
72 -246 13 0
110 -577 -520 0
375 476 431 0
348 385 -300 0
-423 557 -153 0
311 511 -140 0
-246 109 -372 0
476 114 393 0
-374 84 547 0
-386 490 274 0
-538 -391 -119 0
116 230 140 0
313 349 391 0
-86 -541 210 0
-322 -530 202 0
250 -93 -420 0
394 -476 -499 0
325 -435 -415 0
-74 -449 -321 0
154 -550 -435 0
-122 -470 -392 0
-298 346 -267 0
328 -413 -281 0
504 120 -67 0
-323 -330 -69 0
48 97 -95 0
496 -501 -575 0
71 185 -345 0
-218 -299 -362 0
198 497 -500 0
583 -311 -569 0
-578 -533 -24 0
190 -342 -115 0
240 -382 429 0
228 119 -494 0
160 -466 -227 0
62 -483 123 0
-50 473 392 0
324 574 564 0
-431 47 247 0
500 -448 -375 0
-564 548 504 0
-206 537 290 0
58 -460 -99 0
523 -404 332 0
17 -41 -286 0
-410 259 22 0
-18 455 101 0
115 133 -566 0
-95 219 -370 0
-207 -337 -408 0
286 418 213 0
-219 -475 111 0
113 -452 -566 0
-128 -77 -389 0
-396 134 -26 0
131 -250 -397 0
-5 -275 -340 0
-379 465 -440 0
-202 438 -160 0
-28 -500 174 0
-455 -395 -448 0
537 -464 395 0
-547 -137 -340 0
-51 435 78 0
-284 -522 126 0
528 449 32 0
66 -114 539 0
-342 -426 592 0
411 144 594 0
19 88 -217 0
257 296 253 0
505 548 560 0
203 525 -149 0
74 -297 -425 0
121 434 270 0
-347 144 159 0
-5 398 377 0
494 147 477 0
-526 -157 -114 0
-223 -71 276 0
-348 -525 82 0
504 -98 13 0
311 35 365 0
480 320 -51 0
157 -175 94 0
480 540 406 0
475 -125 391 0
-439 581 -333 0
208 -512 -514 0
-287 -427 486 0
153 -246 288 0
-333 -108 -49 0
429 -67 -5 0
-197 358 -406 0
17 -484 -498 0
-398 -525 581 0
-431 187 -333 0
489 -129 -112 0
-574 -420 -224 0
267 251 306 0
-522 228 455 0
-570 -191 326 0
441 -253 512 0
-408 -588 -134 0
-363 -66 -576 0
-232 -511 -187 0
579 -132 -140 0
-277 -354 -583 0
-209 -586 -6 0
112 314 -178 0
587 -180 388 0
310 245 -451 0
206 -85 -245 0
-236 474 409 0
-230 -289 -236 0
267 -388 -268 0
-28 522 404 0
75 296 49 0
239 -471 -19 0
-106 -135 88 0
-230 163 31 0
492 501 -393 0
-434 -586 -256 0
129 -116 76 0
478 386 -354 0
-465 -187 -236 0
-349 389 54 0
346 -48 -27 0
134 425 -555 0
-20 -395 559 0
-43 -589 -112 0
-80 133 421 0
595 328 396 0
264 -346 -357 0
133 -36 -192 0
-518 -95 -583 0
-10 168 -486 0
-449 -529 466 0
6 -273 -477 0
341 68 323 0
237 -262 -103 0
457 -41 400 0
-74 -264 -54 0
-326 -364 -312 0
-462 571 -373 0
-480 -373 177 0
-28 429 -196 0
247 -319 -392 0
572 -535 -392 0
-337 109 -278 0
-156 -503 -522 0
64 406 600 0
534 -411 -578 0
220 -104 214 0
-27 -524 382 0
284 -160 259 0
101 -550 -275 0
-464 -30 -408 0
-47 299 -584 0
166 -279 466 0
71 -566 -511 0
-349 269 210 0
91 5 -402 0
-147 -355 260 0
-69 -152 -279 0
297 -595 -469 0
494 -453 -169 0
66 -103 -583 0
-43 -108 -357 0
114 -516 -486 0
-348 -46 567 0
-425 -421 -408 0
-322 396 50 0
-413 60 100 0
-314 -412 435 0
-308 175 209 0
294 -508 -235 0
-560 431 255 0
216 -336 -404 0
319 -387 -391 0
-331 -163 -409 0
-583 253 -77 0
479 -573 -98 0
83 -304 431 0
-284 337 -175 0
450 197 -88 0
290 -57 77 0
-50 287 203 0
-436 -283 52 0
-215 538 223 0
-9 304 -374 0
436 -64 558 0
-333 -41 -14 0
-364 -532 -18 0
590 -115 -402 0
-321 -553 334 0
-431 -337 560 0
-529 -283 541 0
21 -19 -252 0
248 -349 -146 0
-516 -439 -462 0
204 -266 -480 0
351 329 379 0
145 411 514 0
-192 75 523 0
-104 87 -194 0
181 -251 -180 0
-90 -67 -376 0
188 599 215 0
561 341 137 0
-529 10 177 0
-239 -216 -309 0
442 -381 -376 0
-308 490 482 0
86 573 -400 0
464 -183 -130 0
196 -372 -146 0
-64 251 -370 0
-425 -142 -199 0
-537 226 350 0
370 90 -441 0
413 -344 -226 0
-293 378 209 0
-494 -75 327 0
322 -118 -353 0
-62 375 -509 0
182 -136 -325 0
-465 64 275 0
47 399 -81 0
-321 407 309 0
-393 -24 532 0
-266 437 -21 0
112 -263 -192 0
-9 226 3 0
572 86 -316 0
513 163 -593 0
-412 499 99 0
166 171 182 0
442 -213 24 0
-442 -503 557 0
177 -81 208 0
257 337 589 0
567 15 141 0
250 415 103 0
115 -151 142 0
338 -326 -79 0
-538 -557 -536 0
-519 -383 546 0
-598 -251 402 0
133 128 188 0
349 11 -278 0
373 485 -375 0
-356 505 95 0
-150 -300 201 0
-231 220 -519 0
-31 594 -231 0
-43 -411 -569 0
-549 -322 118 0
124 151 -410 0
480 -97 -514 0
-485 271 -59 0
6 -267 47 0
-111 -288 80 0
-549 200 306 0
229 -419 -489 0
182 -447 401 0
577 428 394 0
-42 -506 16 0
182 -548 581 0
-209 -59 279 0
590 337 36 0
-203 -126 -585 0
-494 424 -40 0
-151 287 501 0
-438 -578 410 0
-274 -357 -223 0
-223 489 370 0
-248 -417 503 0
-366 -208 -584 0
248 79 105 0
168 167 446 0
545 -594 -597 0
-98 367 -190 0
276 344 -440 0
-528 344 -308 0
151 -423 450 0
-20 117 393 0
-329 -587 -400 0
-90 95 -183 0
-127 589 -273 0
75 252 366 0
-480 -157 73 0
-330 -443 -390 0
-170 448 158 0
-152 -412 527 0
19 -379 451 0
-230 392 561 0
-357 -32 -223 0
-413 398 445 0
491 178 246 0
-95 86 -79 0
439 72 -24 0
376 519 329 0
545 229 -260 0
-105 441 217 0
-467 577 -589 0
-557 -123 -125 0
77 -216 -176 0
-480 505 -152 0
-158 565 36 0
354 224 292 0
-464 -425 -230 0
480 338 273 0
-24 275 -368 0
-349 85 -73 0
70 559 -391 0
-471 45 -476 0
-435 445 -252 0
211 -409 -185 0
-593 444 116 0
278 519 496 0
192 186 404 0
-136 -226 80 0
312 381 323 0
30 264 446 0
-53 -414 -450 0
436 -162 -400 0
-137 -142 -324 0
-68 281 469 0
278 48 446 0
-410 -446 -580 0
-292 79 -183 0
417 570 -130 0
596 255 165 0
-113 -52 383 0
-563 -163 34 0
398 256 -144 0
-295 -242 458 0
329 469 -481 0
329 -566 -223 0
259 -445 513 0
498 196 -350 0
-584 -443 154 0
-273 -492 -533 0
380 426 -140 0
-185 465 600 0
297 -10 -290 0
-501 -245 258 0
307 170 -404 0
-188 332 -80 0
-142 214 11 0
557 -363 31 0
31 324 -269 0
-589 -226 -15 0
-211 357 -404 0
-594 -569 517 0
-430 70 -413 0
567 -89 335 0
221 -48 199 0
-298 230 94 0
-393 -451 573 0
-471 -68 -569 0
515 208 -387 0
-123 -221 -361 0
388 -579 401 0
435 204 -492 0
-9 -317 55 0
-313 488 -260 0
286 489 -559 0
179 -48 -397 0
391 123 107 0
-392 27 377 0
285 575 256 0
57 518 -345 0
-493 218 -527 0
-221 -547 527 0
153 561 92 0
332 26 -527 0
-2 -529 -290 0
90 -242 -520 0
-594 591 -231 0
207 -435 144 0
109 331 -192 0
313 -197 40 0
548 393 -101 0
16 286 -301 0
-423 440 -580 0
-404 180 54 0
-160 -96 265 0
348 -320 281 0
-237 -43 327 0
-491 -226 192 0
389 75 54 0
-485 -312 242 0
-421 -527 -152 0
111 -262 -337 0
-551 -29 -175 0
132 419 544 0
-49 -502 -463 0
279 176 -473 0
-90 -581 -165 0
-391 287 34 0
432 160 -370 0
360 253 -136 0
114 224 -216 0
542 173 -84 0
-6 404 259 0
-572 539 -228 0
-83 258 -504 0
413 -119 144 0
105 557 -16 0
465 -520 -298 0
309 72 201 0
-3 224 85 0
-362 441 553 0
108 93 -53 0
-441 -129 -236 0
-490 225 5 0
230 -550 268 0
73 269 450 0
138 -558 -417 0
55 -205 65 0
-225 -141 430 0
-44 -482 -569 0
454 -569 82 0
475 82 93 0
181 -519 -92 0
138 296 -108 0
-274 -84 -147 0
-424 -130 -596 0
-93 576 -331 0
-197 504 100 0
-597 134 -257 0
463 530 61 0
243 295 -452 0
-107 377 -504 0
141 -556 173 0
-25 167 98 0
491 588 -439 0
600 42 -13 0
355 293 183 0
-226 328 -270 0
475 371 -548 0
270 371 -137 0
566 -406 -152 0
-570 171 -558 0
-595 36 -435 0
134 -220 51 0
-143 532 -133 0
-573 -119 -536 0
-386 594 -120 0
511 -174 -143 0
-423 428 295 0
297 -390 371 0
-455 220 132 0
-211 -473 159 0
468 -58 -75 0
308 -276 -241 0
121 558 -407 0
344 67 588 0
-35 321 337 0
-345 -162 -34 0
438 -230 34 0
568 -453 -354 0
316 -243 -210 0
-214 66 -114 0
285 -395 -319 0
-25 -294 223 0
400 205 383 0
-374 -532 -415 0
-519 -272 -455 0
251 132 580 0
-241 282 195 0
-12 -63 -367 0
-415 -495 438 0
209 -323 -536 0
-304 524 -382 0
-272 -512 -503 0
-30 -444 -193 0
-547 520 423 0
581 301 -471 0
-365 52 -491 0
-15 -561 395 0
-565 294 414 0
-288 -511 -26 0
-310 330 474 0
120 382 -68 0
-580 416 -403 0
-443 -339 -354 0
196 -433 -496 0
326 406 -376 0
327 493 -65 0
425 -56 372 0
-328 380 351 0
-51 313 -514 0
-69 583 -469 0
106 -567 115 0
-451 -361 -450 0
472 -57 -455 0
212 -339 301 0
336 240 271 0
540 376 397 0
-176 456 -532 0
-406 -305 195 0
-194 225 27 0
45 -165 158 0
10 -522 -77 0
315 511 256 0
384 -433 260 0
524 -168 325 0
-232 554 351 0
-455 -596 -234 0
-448 567 -91 0
-126 -476 -233 0
494 113 -325 0
-92 -346 525 0
316 -182 -277 0
-300 109 482 0
-347 -181 299 0
-135 -549 -38 0
-454 215 561 0
438 -195 298 0
219 81 -466 0
-342 -513 181 0
-432 417 -18 0
-197 -551 365 0
283 496 436 0
41 368 133 0
-39 120 87 0
175 -395 94 0
-57 -204 -46 0
-599 -309 539 0
322 -93 115 0
454 227 -543 0
-499 -293 -420 0
141 113 -376 0
566 509 93 0
295 -88 -190 0
36 -240 -589 0
310 3 -320 0
-509 -533 308 0
278 154 318 0
122 284 -469 0
-122 -65 282 0
459 -171 555 0
-143 -425 -403 0
400 329 542 0
-127 -199 361 0
-138 541 -167 0
-578 -544 500 0
180 -398 440 0
343 254 -287 0
-94 -105 505 0
-526 579 203 0
285 -590 442 0
75 25 591 0
333 359 192 0
473 -333 -135 0
299 215 150 0
-2 348 -5 0
522 590 282 0
-594 505 43 0
-97 -488 -525 0
348 -148 -158 0
-44 93 14 0
-585 35 92 0
-475 -437 -431 0
475 493 30 0
-397 -468 15 0
-474 -514 362 0
-321 284 600 0
181 -304 -566 0
-57 -128 65 0
589 152 -491 0
-418 31 -106 0
-142 -591 -426 0
331 33 307 0
-4 -514 -350 0
-551 -150 464 0
-563 342 482 0
-466 538 -415 0
101 162 302 0
-93 -343 -401 0
38 -310 447 0
-18 453 -287 0
548 386 -149 0
-355 206 -417 0
332 -184 523 0
-555 60 249 0
-395 -502 250 0
553 -556 -469 0
-388 -429 475 0
-360 -356 555 0
244 375 -32 0
-458 443 -404 0
-416 417 -319 0
-432 107 345 0
324 -154 -113 0
-592 -331 -70 0
505 283 -551 0
327 -147 -229 0
148 -197 -178 0
-270 593 -128 0
-235 224 561 0
-29 -556 419 0
-298 211 -84 0
203 186 441 0
95 -230 -414 0
-44 200 436 0
378 -25 -336 0
-116 415 -94 0
-367 -350 377 0
-331 -478 -200 0
-529 -535 -246 0
116 -5 570 0
200 393 219 0
569 406 588 0
-345 111 -382 0
491 -52 -62 0
-24 -66 326 0
400 262 -348 0
365 -565 -480 0
575 -418 -439 0
-553 -482 147 0
-293 547 -343 0
179 -78 -281 0
-32 259 -113 0
259 -293 162 0
441 115 -61 0
-126 506 -386 0
-235 531 -583 0
-481 572 -433 0
-359 -574 -420 0
450 -59 401 0
-409 549 336 0
393 164 204 0
-337 -480 511 0
497 -526 -426 0
-459 313 -307 0
91 -270 -35 0
260 -246 -141 0
-548 448 122 0
220 -169 515 0
-224 -110 274 0
474 388 -73 0
569 -32 279 0
-145 -552 -58 0
394 415 254 0
455 -343 -234 0
-143 537 -422 0
-148 562 -180 0
429 361 -141 0
221 -182 -367 0
-427 200 -450 0
-165 431 304 0
-408 380 -465 0
426 301 53 0
498 -387 303 0
-83 -308 346 0
85 283 -105 0
134 118 21 0
597 252 312 0
-440 -217 -398 0
452 550 276 0
-185 546 -572 0
227 128 296 0
-508 475 -427 0
40 -521 -281 0
-540 -467 -429 0
-291 298 -85 0
585 -122 -89 0
388 116 -401 0
-372 562 57 0
-248 -29 571 0
-209 333 -532 0
325 106 -440 0
590 129 100 0
342 115 334 0
403 -288 -454 0
544 -294 66 0
-273 410 -225 0
-253 -478 -19 0
-183 268 227 0
65 -159 58 0
-217 -352 304 0
531 -535 -534 0
-248 -555 -200 0
-268 34 -164 0
28 442 -194 0
300 -257 555 0
-417 -226 76 0
-395 -436 40 0
-230 -174 -436 0
-102 -340 554 0
125 -47 525 0
-148 551 -291 0
132 165 13 0
-285 218 385 0
271 -227 -261 0
-521 -275 -176 0
18 -231 266 0
-92 528 319 0
532 416 570 0
-163 -287 -168 0
310 314 -68 0
181 463 175 0
93 316 -10 0
589 159 306 0
294 -75 175 0
302 537 -210 0
505 -387 -355 0
-419 -562 -167 0
-338 162 496 0
-552 439 472 0
162 -50 54 0
-105 127 523 0
-120 -360 561 0
72 162 198 0
120 -364 -382 0
-579 -377 -82 0
-507 -497 513 0
-100 190 -377 0
-466 27 178 0
529 432 44 0
-256 577 35 0
104 -506 -511 0
-70 280 -101 0
41 -203 -363 0
-340 114 -55 0
534 -99 -24 0
363 -599 158 0
470 -361 -574 0
-193 -176 -387 0
159 -183 -69 0
-69 542 -458 0
88 -257 188 0
-538 -205 -452 0
-136 -254 90 0
99 -466 -40 0
-102 -416 328 0
536 -528 -247 0
-14 -304 -143 0
-292 116 135 0
507 -27 -287 0
-269 315 321 0
582 -52 -315 0
171 83 264 0
358 -48 38 0
247 375 542 0
158 -91 318 0
90 -33 -194 0
345 -542 -49 0
-531 -548 -389 0
350 493 173 0
557 -278 53 0
266 529 142 0
278 -364 501 0
-200 -410 -589 0
-517 315 184 0
368 215 242 0
36 -17 450 0
359 528 378 0
-385 -458 -266 0
-39 -126 292 0
442 -375 -243 0
-312 483 587 0
-35 -238 -492 0
351 472 147 0
-141 -203 -588 0
547 -536 539 0
-422 -587 -261 0
-551 284 -185 0
381 -375 -156 0
-378 472 -335 0
-515 -279 -441 0
-497 224 41 0
97 91 495 0
-88 -114 195 0
51 116 -93 0
28 -551 -554 0
-568 -158 -434 0
-109 -64 -312 0
378 325 27 0
505 123 -449 0
-413 -38 213 0
-469 -92 -429 0
463 227 391 0
-466 6 29 0
101 -349 218 0
-370 -325 381 0
-547 491 37 0
-485 317 -250 0
-321 -262 -457 0
81 -486 -590 0
-481 580 583 0
353 -548 170 0
204 -510 289 0
-93 493 -590 0
190 -280 593 0
298 -276 577 0
402 216 -328 0
-559 -519 340 0
294 -270 300 0
243 423 587 0
435 -113 370 0
-21 550 -489 0
238 -579 -21 0
-258 -81 514 0
438 205 197 0
-98 152 -186 0
-21 -287 457 0
431 597 147 0
77 -237 311 0
497 74 582 0
201 -467 -76 0
-240 434 154 0
-588 -363 -41 0
195 -361 -589 0
477 137 169 0
-459 -25 -563 0
-177 316 -496 0
-241 -397 -44 0
333 361 437 0
489 -468 482 0
-456 561 -221 0
212 -8 248 0
-186 -56 -209 0
-276 -256 120 0
-166 -4 -409 0
293 108 9 0
330 441 -133 0
-294 525 91 0
-36 141 -215 0
196 -15 -159 0
-142 401 -117 0
-207 -559 324 0
162 459 -115 0
-144 447 557 0
-83 -289 22 0
258 -469 188 0
-144 556 581 0
40 -341 -309 0
34 -267 451 0
141 451 526 0
269 -375 51 0
-294 -388 132 0
360 -577 -30 0
-412 -17 -472 0
-37 -304 -437 0
379 511 442 0
-521 334 -91 0
-348 -456 -542 0
-433 -409 -334 0
46 557 -432 0
-64 505 403 0
332 581 180 0
-410 487 -231 0
-314 -300 130 0
-422 -118 28 0
-143 334 47 0
-188 -328 330 0
99 573 -560 0
-447 -271 376 0
429 -182 363 0
12 -402 303 0
376 155 -133 0
-14 -479 -342 0